A Counting Model for Software Reliability Analysis

Structural reliability models suuer from some drawbacks mainly related to the assumptions necessary to apply them. We propose a model which intends to overcome some of these limitations appearing in previous published works. We discuss on an approach that can make more realistic the usual Markovian assumptions when considering the structural modeling of the execution process. Moreover, we deene a failure process allowing to model diierent and general situations and we give analytic results and algorithmic methods to perform the corresponding quantitative evaluations. We show that our model and the obtained results include as particular cases some previous proposed models. We also discuss about some interesting asymptotic properties of the model. Le processus de comptage d'un mod ele de abilit e du logiciel R esum e : Les hypoth eses de mod elisation retenues dans l' evaluation structurelle de la abilit e du logiciel sont g en eralement consid er ees comme trop r eductrices. Le mod ele pr esent e dans ce rapport tente de r epondre a certaines de ces limitations. En particulier, nous proposons une approche simple pour rendre plus r ealistes les usuelles hypoth eses markoviennes du processus d'ex ecution du logiciel. Nous cons-truisons ensuite un processus g en eral de d efaillance et nous donnons les outils ana-lytiques et algorithmiques n ecessaires a son evaluation. Ce mod ele inclut comme cas particuliers certains mod eles connus. Nous discutons egalement quelques unes de ses propri et es asymptotiques.